381. Logic and representation
پدیدآورنده : / Robert C. Moore
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Language and logic.,Semantics (Philosophy),Logic.
رده :
P
,
39
,.
M66
,
1995
382. Logic programming :
پدیدآورنده : Sandro Etalle, Mirosław Truszczyński (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Programmation logique -- Congrès.
383. Logic programming and nonmonotonic reasoning :
پدیدآورنده : Pedro Cabalar, Tran Cao Son (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic programming, Congresses,Nonmonotonic reasoning, Congresses
رده :
QA76
.
63
.
L66
2013
384. Logic, rationality, and interaction :
پدیدآورنده : Davide Grossi [und weitere] (Eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Kognitionswissenschaft.,Künstliche Intelligenz.,Lernendes System.
رده :
BC5
.
D385
2013
385. MICAI 2002 :
پدیدآورنده : Carlos A. Coello Coello [and others], (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence -- Congresses.,Artificial intelligence.
386. Make a shield from wisdom :
پدیدآورنده : 20090507 0
کتابخانه: كتابخانه مجلس شوراي اسلامى (طهران)
موضوع :
387. Mastering Go web services :
پدیدآورنده : Nathan Kozyra.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Application program interfaces (Computer software),Go (Computer program language),Application program interfaces (Computer software),COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Go (Computer program language)
رده :
QA76
.
73
.
G63
388. Mathematical Foundations of Computer Science 1989 :
پدیدآورنده : edited by Antoni Kreczmar, Grazyna Mirkowska.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Computer software.,Logic design.
رده :
QA76
.
9
.
M35
E358
1989
389. Mathematics and the natural sciences :
پدیدآورنده : Francis Bailly, Giuseppe Longo
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Biomathematics,Mathematical models,Mathematics-- Philosophy,Physics-- Philosophy,Space and time
390. Mental language
پدیدآورنده : / Claude Panaccio
کتابخانه: كتابخانه مركزی دانشگاه علوم بهزیستی و توانبخشی (طهران)
موضوع : Thought and thinking--History,Knowledge, Theory of--History,Concepts,Logic,Language and logic
رده :
B105
.
T54
,
P351
2017
391. Mental language
پدیدآورنده : / Claude Panaccio
کتابخانه: کتابخانه مرکز روانپزشکی رازی (طهران)
موضوع : Thought and thinking--History,Knowledge, Theory of--History,Concepts,Logic,Language and logic
رده :
B105
.
T54
,
P351
2017
392. Modern Buddhist cultures -- The cultural practices of Buddhist modernity -- Shanghai Buddhism -- Vegetarian identities --
پدیدآورنده : Francesca Tarocco.
کتابخانه: كتابخانه مجلس شوراي اسلامى (طهران)
موضوع :
393. Naturalistic Epistemology :
پدیدآورنده : edited by Abner Shimony, Debra Nails.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Biology -- Philosophy.,Philosophy (General),Science -- Philosophy.
رده :
BD161
.
E358
1987
394. Neural nets :
پدیدآورنده : A F Rocha
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Brain.,Neural networks (Computer science) -- Physiology.,Neural Networks (Computer)
396. Nominalism and contemporary nominalism:ontological and epistemological implications of the work of W.V.O.Quine and of W.V.O.Quine and of N.Goodman
پدیدآورنده : / Mia Gosselin
کتابخانه: المكتبة المركزية ومركز الوثائق بجامعة آراك (مرکزي)
موضوع : Nominalism,Empiricism,Goodman,nelson,Ontology,Knowledge,theory of
رده :
149
.
1
G679n
397. Novel approaches in cognitive informatics and natural intelligence /
پدیدآورنده : Yingxu Wang [editor].
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Cognitive science.,Neural computers.,Artificial intelligence.,Cognitive science.,COMPUTERS-- Enterprise Applications-- Business Intelligence Tools.,COMPUTERS-- Intelligence (AI) & Semantics.,Neural computers.
رده :
QA76
.
87
.
N68
2009eb
398. Objective knowledge: an evolutionary approach
پدیدآورنده : / Karl Raimund Popper
کتابخانه: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)
موضوع : Knowledge, Theory of,Induction (Logic)
رده :
BD161
.
P27
399. On truth and meaning :
پدیدآورنده : Christopher Norris
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Analysis (Philosophy),Knowledge, Theory of,Language and languages-- Philosophy
رده :
B808
.
5
.
N65
2006
400. On truth and meaning: language, logic and the grounds of belief
پدیدآورنده : Norris, Christopher
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Analysis )Philosophy(,، Language and languages-- Philosophy,، Knowledge, Theory of
رده :
B
808
.
5
.
N65
2006